떡밥위키
최근 변경
최근 토론
특수 기능
파일 올리기
작성이 필요한 문서
고립된 문서
고립된 분류
분류가 되지 않은 문서
편집된 지 오래된 문서
내용이 짧은 문서
내용이 긴 문서
차단 내역
RandomPage
라이선스
IP 사용자
3.20.233.31
설정
다크 모드로 전환
로그인
접속자 폭증으로 서버 상태가 원활하지 않습니다 |
소유권 이전과 관련한 공지
페아노 공리계
(r24 문단 편집)
닫기
RAW 편집
미리보기
== 의의 == 이 공리계 하나 때문에 지금까지도 페아노는 대중들의 인식 속에 '1 + 1이 2라는 걸 증명할려고 4시간동안 연설한' 수학자로 남아 있다(...). 대부분 '수학쟁이들은 엄밀한 증명을 보면 풀발기함'의 예시 정도로 언급되고 끝나지만, 실제로 위 다섯 개의 공리만으로 자연수라는 구조 위의 덧셈 연산을 잘 정의(well-define)하고 증명할 수 있다는 것은 실로 놀라운 발전이다. 이후 수학계에서 ZFC 공리계가 나오게 되는 기반을 마련했다. 엄밀성 없는 야매 수학에서 현대 수학으로 가는 역사를 크게 바꿔놓은 셈.
요약
문서 편집을
저장
하면 당신은 기여한 내용을
CC BY-NC-SA 2.0 KR
으로 배포하고 기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다. 이
동의는 철회할 수 없습니다.
비로그인 상태로 편집합니다. 로그인하지 않은 상태로 문서 편집을 저장하면, 편집 역사에 본인이 사용하는 IP(3.20.233.31) 주소 전체가 영구히 기록됩니다.
저장
사용자
3.20.233.31
IP 사용자
로그인
회원가입
최근 변경
[불러오는 중...]